Ctrl (Extended version)